分别征服相关攻击是一类重要的序列密码分析方法,是设计序列密码时必须要防御的分析方法之一。抵抗分别征服相关攻击常用的防御策......

为探讨流密码Grain v1的安全性,通过研究Grain v1密钥流生成器的结构,指出了Grain v1密钥流生成器设计的3个弱点,在此基础上提出了......

我们证明了蕴涵BCK_代数的伴随半群是一个上半格；具有条 件(s)的蕴涵BCK_代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴......

生产自动化是先进制造技术的发展方向之一，而可靠的数控程序是实现自动化的重要保证。针对当前数控程序检证算法的不足，提出了一种基......

为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数......

本文提出一种实现任意布尔函数的二进神经网络学习算法，该算法首先借助蚁群算法优化选择核心节点及节点访问顺序；其次，根据优化的节点......

主要是在AutoCAD自带的VB环境中利用程序开发机械产品的三维图形 ,并阐述相关的编程环境、程序模块建立过程、数据库设计及其与程......

0　ＩｎｔｒｏｄｕｃｔｉｏｎＣｕｒｒｅｎｔｌｙ,ｍｏｓｔｓｏｌｉｄｍｏｄｅｌｅｒｓａｒｅａｂｌｅｔｏｓｕｐｐｏｒｔｓｏｌｉｄｓｃｏｍｐｏｓｅｄｏｆｐｏｌｙｈｅｄｒａｌｍｏｄｅｌｓａｎｄｑｕａｄｒｉｃｓｕｒｆａｃｅｓ(ｌｉｋｅｓｐｈｅｒｅｓ,ｃｙｌｉｎｄｅ.........